replacement theory operation research